Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)
by
ISBN 13: 9783540278290
Format: Paperback (406 pages) Publisher: Springer Published: 08 Jul 2005
Save for later